261. The Python workbook :
Author: Ben Stephenson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Python (Langage de programmation)
Classification :
QA76
.
73
.
P98
262. The Queen of Mathematics :
Author: by W.S. Anglin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometry.,Mathematics.,Number theory.
263. The Recursion Method and Its Applications :
Author: edited by D.G. Pettifor, D.L. Weaire.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Physics.
264. The art of R programming :
Author: by Norman Matloff.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: R (Computer program language),Statistics-- Data processing.
Classification :
QA276
.
4
.
M2925
2011
265. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics,، Recursive functions
Classification :
QA
9
.
K648
266. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Recursive functions
Classification :
QA
248
.
5
.
K6
267. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intuitionistic mathematics,، Recursive functions
Classification :
QA
9
.
K648
268. The roles of representation in school mathematics /
Author: Albert A. Cuoco, 2001 yearbook editor ; Frances R. Curcio, general yearbook editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Study and teaching.,Mental representation.,Mathematics-- Study and teaching-- Psychological aspects.,Mathematics-- Study and teaching.,Mathematics-- Study and teaching.,Mathématiques-- Étude et enseignement.,Mental representation.,Mental representation.
Classification :
QA1
.
N3
2001
269. The singularity is near :
Author: Ray Kurzweil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
Classification :
QP376
.
K85
2006
270. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Central Library and Documentation Center (Kerman)
Subject: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
2004
271. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
272. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
273. Theory of Computation
Author: / George Tourlakis
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
Classification :
QA9
,.
59
.
T46
,
T68
2012
274. Theory of computation
Author: Brainerd, Walter S
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
Classification :
QA
267
.
5
.
S4
B68
275. Theory of computation
Author: Brainerd, Walter S
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
Classification :
QA
267
.
5
.
S4
B68
276. Theory of formal systems
Author: Smullyan, Raymond M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Mathematics
Classification :
QA
1
.
A626
no
.
47
277. Theory of formal systems /
Author: R.M. Smullyan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
Classification :
QA248
.
5
278. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
279. Theory of recursive functions and effective computability
Author: Rogers, Hartley
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
248
.
5
.
R6
280. Theory of recursive functions and effective computability
Author: Rogers, Hartley
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
9
.
615
.
R64
1987
